clause.o: source/clause.c include/clause.h include/litteral.h
litteral.o: source/litteral.c include/litteral.h
main.o: source/main.c include/matrice.h include/clause.h \
  include/litteral.h include/variable.h include/litteral.h
matrice.o: source/matrice.c include/matrice.h include/clause.h \
  include/litteral.h include/variable.h include/litteral.h
variable.o: source/variable.c include/variable.h include/litteral.h
